home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
TeX 1995 July
/
TeX CD-ROM July 1995 (Disc 1)(Walnut Creek)(1995).ISO
/
systems
/
web2c
/
web2c.cache.help
< prev
next >
Wrap
Internet Message Format
|
1994-12-18
|
1KB
From tim@maths.tcd.ie Sun Dec 18 11:38:40 1994
Subject: Re: kpathsea 2.5, dvipsk 5.58e, xdvik 18e, dviljk 2.4
To: "K. Berry" <kb@cs.umb.edu>
Date: Sun, 18 Dec 1994 16:38:32 (GMT)
From: Timothy Murphy <tim@maths.tcd.ie>
Another -- not serious -- complaint:
make distclean doesn't remove config.cache .
This confused me recently as we have several machine types
sharing the same source directory.
Also, John Interrante's patch doesn't quite work with kpathsea-2.5,
because --cache-file is not defined in web2c/configure.
The following trivial patch allows it to work:
*** web2c/configure.patched Fri Dec 16 18:40:44 1994
--- web2c/configure Fri Dec 16 19:29:40 1994
***************
*** 86,91 ****
--- 86,98 ----
-build=* | --build=* | --buil=* | --bui=* | --bu=* | --b=*)
build="$ac_optarg" ;;
+ -cache-file | --cache-file | --cache-fil | --cache-fi \
+ | --cache-f | --cache- | --cache | --cach | --cac | --ca | --c)
+ ac_prev=cache_file ;;
+ -cache-file=* | --cache-file=* | --cache-fil=* | --cache-fi=* \
+ | --cache-f=* | --cache-=* | --cache=* | --cach=* | --cac=* | --ca=* | --c=*)
+ cache_file="$ac_optarg" ;;
+
-disable-* | --disable-*)
ac_feature=`echo $ac_option|sed -e 's/-*disable-//'`
# Reject names that aren't valid shell variable names.
Tim